inference logical reasoning clat